<?php
echo '42';
?>
